Some Mathematical Structures Underlying Efficient Planning
نویسنده
چکیده
We explore antimatroids, also known as shelling structures, a construct used to formalize when greedy (local) algorithms are optimal, as well as their relation to the strong measure of progress P introduced in (Parmar 2002b). We begin with an example from the map coloring domain to spark the reader’s intuitions, and then move towards a more general application of shelling to the strong measure of progress. We also introduce some extensions of shelling to planning on a different level. Macro-operators are another kind of mathematical structure that help give efficient and easy-to-understand plans, but we must be careful how we use them when defining strong measures of progress.
منابع مشابه
On the Foundations of Classical Planning: Some Algebraic and Topological Structures
This paper is an attempt to introduce mathematical structures for classical planning. It is rst shown that the set-based structures underlying classical planning are unable to build more than a monoid. Consequently, an appropriate structure is presented (that of the incidence algebra of a partial plan) and used to build the partial plan space as an algebraic eld. A vector space, an aane space a...
متن کاملMulti-stage Stochastic Programming Models in Production Planning
Production planning is a key area of operations management. An important methodology for production planning is mathematical programming. Traditional mathematical programming models for production planning are deterministic, and cannot provide robust production plans in the presence of uncertainty. As such, deterministic planning models may yield unsatisfactory decisions. Stochastic programming...
متن کامل[en-023] Mathematical Models for Aircraft Trajectory Design : a Survey
Air traffic management ensure the safety of flight by optimizing flows and maintaining separation between aircraft. After giving some definitions, some typical feature of aircraft trajectories are presented. Trajectories are objects belonging to spaces with infinite dimensions. The naive way to address such problem is to sample trajectories at some regular points and to create a big vector of p...
متن کاملSpaces in the Brain: From Neurons to Meanings
Spaces in the brain can refer either to psychological spaces, which are derived from similarity judgments, or to neurocognitive spaces, which are based on the activities of neural structures. We want to show how psychological spaces naturally emerge from the underlying neural spaces by dimension reductions that preserve similarity structures and the relevant categorizations. Some neuronal repre...
متن کامل